Nuprl Definition : es-realizer 11,40
es-realizer(p) == p.1 
latex

Definitionst.1
FDL editor aliaseses-realizer

origin